Control flow graph - PDFSEARCH.IO - Document Search Engine

Control flow graph
Results: 74

#	Item
41	∗ Statically-Directed Dynamic Automated Test Generation Domagoj Babi´c Lorenzo Martignoni Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:29 Network theory Shortest path problem Algorithm Control flow analysis Heuristic function Call graph Mathematics Graph theory Theoretical computer science
42	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
43	Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Abstract Such scenarios preclude direct use of source-based Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Decompiler Control flow graph Boomerang Compiler Static single assignment form Algorithm Data-flow analysis Control flow Compiler construction Software Computing
44	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 11:29:44 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
45	Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Edward J. Schwartz JongHyup Lee Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Decompiler Computing Control flow graph Data-flow analysis Algorithm Static single assignment form Control flow Compiler Graph Compiler construction Mathematics Software
46	Lecture 4 More on Data Flow: Constant Propagation Control Flow: Speed, Loops Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:18 Combinatorics Data-flow analysis Control flow graph Programming language implementation Static single assignment form Depth-first search Constant folding Graph Dominator Compiler construction Graph theory Mathematics
47	Lecture 4 More on Data Flow: Constant Propagation, Speed, Loops I.  Constant Propagation II.  Efficiency of Data Flow Analysis III.  Algorithm to find loops Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2012-01-08 02:00:08 Combinatorics Control theory Data-flow analysis Control flow graph Tree traversal Signal-flow graph Dominator Control flow Static single assignment form Compiler construction Graph theory Mathematics
48	Lecture 2 Introduction to Data Flow Analysis I. Introduction Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2012-02-06 04:45:45 Reaching definition Data-flow analysis Network flow Compiler construction Live variable analysis Flow network Control flow graph Function Control flow Graph theory Mathematics Program analysis